// #Conformance #TypesAndModules #Modules 
// Productions
//<Expects status=success></Expects>
#light

module M5 = begin
                module M5 = begin
                            end
            end
